Skip to content

Update fastah-ip-geo-tools plugin#1193

Closed
punit-fastah wants to merge 1 commit intogithub:stagedfrom
punit-fastah:add-fastah-ip-geo-tools-plugin
Closed

Update fastah-ip-geo-tools plugin#1193
punit-fastah wants to merge 1 commit intogithub:stagedfrom
punit-fastah:add-fastah-ip-geo-tools-plugin

Conversation

@punit-fastah
Copy link
Copy Markdown
Contributor

This pull request introduces a new configuration file for the fastah-ip-geo-tools plugin, defining an MCP server connection. The configuration specifies the server type and URL for fastahIpGeofeed.

Configuration addition:

  • Added .mcp.json to define the fastahIpGeofeed MCP server with HTTP type and its endpoint URL.

Copilot AI review requested due to automatic review settings March 27, 2026 06:05
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds an MCP server configuration to the fastah-ip-geo-tools plugin so it can connect to Fastah’s geofeed MCP endpoint.

Changes:

  • Added plugins/fastah-ip-geo-tools/.mcp.json defining an HTTP MCP server for Fastah’s endpoint.

@@ -0,0 +1,8 @@
{
"mcpServers": {
"fastahIpGeofeed": {
Copy link

Copilot AI Mar 27, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The MCP server key here is fastahIpGeofeed (camelCase), but existing Fastah geofeed documentation in the repo refers to the server name as fastah-ip-geofeed (kebab-case). If agents/skills expect the documented name, this mismatch will prevent them from finding the configured server/tools. Align the server name with the documented identifier (or update the documentation accordingly) to avoid breaking the plugin’s setup.

Suggested change
"fastahIpGeofeed": {
"fastah-ip-geofeed": {

Copilot uses AI. Check for mistakes.
@punit-fastah punit-fastah deleted the add-fastah-ip-geo-tools-plugin branch March 27, 2026 06:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants